Section: Partnerships and Cooperations
National Initiatives
-
Cooperation with J.-C. Régin from Univ. Nice on efficient filtering algorithms (3 papers in 2011).
-
Cooperation with A. Miné from ENS Paris on abstract domains by M. Pelleau and C. Truchet (2 visits in Paris).